Handbook of automated reasoning
- Författare
- (Editors, Alan Robinson and Andrei Voronkov.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier | cop. 2001 | Storbritannien, Amsterdam, London | 2 v. ill. 25 cm. |